Petri Nets for Object-Oriented Modeling
نویسنده
چکیده
Ensuring the correctness of concurrent programs is difficult, since common approaches for program design do not provide appropriate methods. This paper gives a brief introduction to Object Colored Petri Nets, which can be used for modeling the control flow of concurrent programs, for their simulation, and for deriving and proving specific properties. Emphasis will not rely upon the precise formal definitions, but rather on the concepts and applications. The paper is intended to give computer scientists who are not familiar with Petri nets a short overview of them, especially of objectoriented nets.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملSoftware modeling and analysis using a hierarchical object-oriented Petri net
Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their eorts to enhancing and extending the expressive power of Petri nets. One such eort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software sy...
متن کاملModeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study
The aim of the paper is to show basic elements of a system design methodology which uses Object oriented Petri nets. The methodology features conformity with UML and uses simulation as a means to verify the models in all system development phases. Simulation also helps in making decisions about structural and behavioral specification of the system. The paper will demonstrate layered modeling te...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملModeling production configuration using nested colored object-oriented Petri-nets with changeable structures
Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintainingmass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multi...
متن کاملA New Control Structure Model Based on Object-oriented Petri Nets
Petri nets in object-oriented modeling, based on the objects introduced a special internal changes the control changes, the introduction of objects in the controller, a control structure based on object-oriented Petri nets (CS-OOPN) model, and described the CS-OOPN modeling steps of the described of CS-OOPN modeling. The model overcomes the traditional object-oriented Petri nets modeling of fle...
متن کامل